Supporting  Virtual  Memory  without               Precise  Exceptions  in  GPGPUs   Hyesoon  Kim   Mo#va#on  

Source URL: safari.ece.cmu.edu

A New DMA Registration Strategy for Pinning-Based High Performance Networks Christian Bell Dan Bonachea Computer Science Division University of California, Berkeley

Source URL: titanium.cs.berkeley.edu

• Computer memory
• Parallel computing
• Remote direct memory access
• Distributed memory
• Distributed computing
• Virtual memory
• FIFO
• Memory management
• CPU cache
• Data buffer
• Transmission Control Protocol
• SHMEM

Active Access: A Mechanism for High-Performance Distributed Data-Centric Computations Maciej Besta Torsten Hoefler

Source URL: htor.inf.ethz.ch

• Memory management
• Virtual memory
• Computer memory
• Inputoutput memory management unit
• X86 virtualization
• Direct memory access
• Shared memory
• Remote direct memory access
• Page table
• Memory management unit
• Page fault
• Advanced Micro Devices

SISPAD 2012, September 5-7, 2012, Denver, CO, USA Monte Carlo Simulation of Program Disturb in Contact-Less Virtual Ground NOR Flash Memory Yosuke Isagi1, Yoshimitsu Yamauchi1, and Yoshinari Kamakura1,2 1

Source URL: in4.iue.tuwien.ac.at

Supporting Virtual Memory without Precise MSPC 2012

Source URL: safari.ece.cmu.edu

23 The VAX/VMS Virtual Memory System Before we end our study of virtual memory, let us take a closer look at one particularly clean and well done virtual memory manager, that found in the VAX/VMS operating system [LL82].

Source URL: pages.cs.wisc.edu

Memory Coherence in Shared Virtual Memory Systems 1 Kai Li and Paul Hudak Department of Computer Science Yale University New Haven, CT 06520

Source URL: css.csail.mit.edu

• Concurrent computing
• Computing
• Parallel computing
• Memory management
• Computer architecture
• Virtual memory
• Central processing unit
• Page
• Paging
• Draft:Cache memory
• Parallel random-access machine

POSTER: Caching Oblivious Memory Access An Extension to the HCRYPT Virtual Machine Michael Brenner and Matthew Smith Distributed Computing Security Group Gottfried Wilhelm Leibniz Universität Hannover, Germany

Source URL: www.dcsec.uni-hannover.de

Memory Coherence in Shared Virtual Memory Systems Kai Li and Paul Hudak, ACM TOCS ‘89 Invents software distributed shared virtual memory • lots of work prior to this on hardware shared physical memory • elevates to

Source URL: courses.cs.washington.edu

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit